$\forall$${\it the\_w}$:World, $i$:Id, $t$:$\mathbb{N}$. m($i$;$t$) $\in$ \{$m$:Msg(${\it the\_w}$.M)$\mid$ source(mlnk($m$)) $=$ $i$ \} List